#include "ipc_rv_ex.h"
#include "stdio.h"
#include "gkt_config.h"

#if defined(GKT_CONFIG_FPS_ENABLE) && GKT_CONFIG_FPS_ENABLE

static uint32_t  tick;
void StartTick_ex(void)
{
    tick = 0;
}

G_Boolean Is_TimeOut_ex(uint32_t TimeOut)
{
    return ++tick > TimeOut ? TRUE : FALSE;
}

void G_IPC_Send_Trigger(void)
{

}


void G_IPC_Printv(uint8_t *buf, uint32_t len, uint8_t *s)
{
    uint32_t i = 0;
    uint32_t n = 0;
    IPC_Print("\r\n %s:", s);
    for (i = 0; i < len; i++)
    {
        if (i % 16 == 0)
        {
            IPC_Print("\r\n%08x:", n);
            n += 16;
        }
        IPC_Print("%02x ", buf[i]);
    }
}

#endif